/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package chameleon.view.input;

//SmvFile Decorator

import java.io.File;


/**
 * This class is a wrapper for an smv file given on input.
 * @author Simon De Baets
 */
public class SmvFile extends InputDecorator {

    private File nuSmvRepresentation_;

    //**************************** CONSTRUCTOR ***************************//

    public SmvFile (File nuSmvRepresentation){
        super(Tag.NUSMV);
        nuSmvRepresentation_ = nuSmvRepresentation;
    }

    //**************************** DESTRUCTOR ***************************//

    public void deleteNuSmv(){
        nuSmvRepresentation_ = null;
    }

    //**************************** GETTER ********************************//

    public File getFile(){
        return nuSmvRepresentation_;
    }

    //**************************** SETTER *******************************//

    public void setFile(File nuSmvRepresentation){
        nuSmvRepresentation_ = nuSmvRepresentation;
    }

    //**************************** QUESTION METHOD **********************//

    @Override
    public boolean isEquals(InputDecorator input) {
        return nuSmvRepresentation_.getPath().matches(input.getFile().getPath());
    }

}
